|
|
Systems of Sequential Grammars Applied to Parsing
Repík, Tomáš ; Solár, Peter (referee) ; Meduna, Alexandr (advisor)
This thesis examines Grammar systems as the potentially more powerful tool for parsing as the simple grammars. The intention is to adapt theoretical models of grammar systems for parsing. New methods are introduced, with focus on determinism in order to prevent backtracking during parsing. The basis for the parser is a cooperating distributed grammar system. The implementation uses predictive, top-down parsing method, LL(1)Tables, and recursion as well. The parser is universal, usable for any LL-Grammar and for any grammar system based on them.
|
|
|
The Pushdown Automaton Simulator
Graizely, Martin ; Blatný, Petr (referee) ; Bidlo, Radek (advisor)
Visualization often helps with the understanding and allows for a quicker grasp of the problem. This work is aimed on implementation of pushdown automaton simulator. The purpose of the application is to ease understanding of such abstract machine and its abilities, by providing visual design and possibility of algorithm's interactive animation.
|
|
|
Visualization of Finite Automata, Pushdown Automata and Turing Machines Work
Syrový, Ondřej ; Láník, Aleš (referee) ; Zuzaňák, Jiří (advisor)
This bachelor`s thesis is focusing on concept and development of computer application for demonstration of finite automata, pushdown automata and Turing machines work. Theoretic volume of this work deals with theories of formal languages and grammars and automata theory. Created program allows to load deterministic and nondeterministic automata variants from the text file, their graphic representation by state diagram and stepping their calculation process.
|
|
|
Legal and philosophical aspects of free will
Kutílek, Lukáš ; Maršálek, Pavel (advisor) ; Tryzna, Jan (referee)
This thesis seeks an answer to a question of whether social normative systems, particularly law and morality, are consistent with the most recent scientific and philosophical findings. Those in fact often conclude that the human will is not free and that the human decision- making is only a physiological process governed by the laws of physics. Such findings thus, at a first glance, collide mainly with the concept of responsibility, through which law and morality are implemented. Therefore, the paper begins with a brief introduction of the current state of knowledge concerning free will and presents mainly determinism and indeterminism. The conclusion of the first part called Free Will and Determinism introduces a view of the world, which best suits the current state of knowledge and is further referred to as Physicalism. The second part called Law, Morality, Physicalism, briefly presents law and morality as regulators of human behavior, for which the concept of free will is fundamental. The focus of the thesis then shifts towards the institutions of criminal and civil law, that seem to be threatened by Physicalism the most. However, general consistency of Physicalism and the examined normative concepts is concluded, while it is argued that within the physicalistic view of the world, law and morality...
|
|
|
The Pushdown Automaton Simulator
Graizely, Martin ; Blatný, Petr (referee) ; Bidlo, Radek (advisor)
Visualization often helps with the understanding and allows for a quicker grasp of the problem. This work is aimed on implementation of pushdown automaton simulator. The purpose of the application is to ease understanding of such abstract machine and its abilities, by providing visual design and possibility of algorithm's interactive animation.
|
|
|
Legal and philosophical aspects of free will
Kutílek, Lukáš ; Maršálek, Pavel (advisor) ; Tryzna, Jan (referee)
This thesis seeks an answer to a question of whether social normative systems, particularly law and morality, are consistent with the most recent scientific and philosophical findings. Those in fact often conclude that the human will is not free and that the human decision- making is only a physiological process governed by the laws of physics. Such findings thus, at a first glance, collide mainly with the concept of responsibility, through which law and morality are implemented. Therefore, the paper begins with a brief introduction of the current state of knowledge concerning free will and presents mainly determinism and indeterminism. The conclusion of the first part called Free Will and Determinism introduces a view of the world, which best suits the current state of knowledge and is further referred to as Physicalism. The second part called Law, Morality, Physicalism, briefly presents law and morality as regulators of human behavior, for which the concept of free will is fundamental. The focus of the thesis then shifts towards the institutions of criminal and civil law, that seem to be threatened by Physicalism the most. However, general consistency of Physicalism and the examined normative concepts is concluded, while it is argued that within the physicalistic view of the world, law and morality...
|
|
|
Systems of Sequential Grammars Applied to Parsing
Repík, Tomáš ; Solár, Peter (referee) ; Meduna, Alexandr (advisor)
This thesis examines Grammar systems as the potentially more powerful tool for parsing as the simple grammars. The intention is to adapt theoretical models of grammar systems for parsing. New methods are introduced, with focus on determinism in order to prevent backtracking during parsing. The basis for the parser is a cooperating distributed grammar system. The implementation uses predictive, top-down parsing method, LL(1)Tables, and recursion as well. The parser is universal, usable for any LL-Grammar and for any grammar system based on them.
|
|
|
Visualization of Finite Automata, Pushdown Automata and Turing Machines Work
Syrový, Ondřej ; Láník, Aleš (referee) ; Zuzaňák, Jiří (advisor)
This bachelor`s thesis is focusing on concept and development of computer application for demonstration of finite automata, pushdown automata and Turing machines work. Theoretic volume of this work deals with theories of formal languages and grammars and automata theory. Created program allows to load deterministic and nondeterministic automata variants from the text file, their graphic representation by state diagram and stepping their calculation process.
|
guest ::
